Properties of categories tagged with 'topos theory'

Found 14 properties

• is cartesian closed
• is cocartesian coclosed
• is an elementary topos
• is a Grothendieck topos
• is locally cartesian closed
• is locally cocartesian coclosed
• has a natural numbers object
• has a parametrized natural numbers object
• is a pretopos
• is a quasitopos
• has a quotient object classifier
• has a regular quotient object classifier
• has a regular subobject classifier
• has a subobject classifier